程序变换相关论文
移动代理是由用户创建并代表其创建者执行特定任务的程序对象。它的特点是其移动性和智能性。当移动代理迁移到某一台主机上执行时......
云计算是国家重要信息基础设施,以服务外包的方式为智慧城市、智能制造、金融证券等各个行业提供计算平台支撑。资源所有权和使用......
摘 要 由于目前程序变换与分析算法的复杂程度越来越高，因此简化处理显得尤为必要。本文主要探讨了程序变换方法在简化Java循环语句......
随着越来越多成功的软件系统成为遗留系统，软件再工程已日益显现其重要性。但对原系统理解的难度影响了软件工程师对原系统进行再工......
代码Shell化技术是一种实现程序从源码形态到二进制形态的程序变换技术。该技术可用于实现Shellcode生成,生成包括漏洞利用过程中......
随着程序规模和复杂性的增加,代码重构在改善软件质量、性能以及提高软件的扩展性和维护性等方面至关重要。目前的Eclipse中,C源代......
代码迷惑是一种以增加理解难度为目的的程序变换技术，用来保护软件免遭逆向剖析．代码迷惑是否有效是代码迷惑研究中首要解决的问题．目......
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工......
基于时序逻辑CTL（computation tree logic）的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形......
设计了一种对象式和函数式相结合的混合型语言ＯＯＦＬ，详细给出了它的语法及语义定义，提出了相应的实现方案，并在微机上实现ＯＯＦＬ至Ｃ＋＋的转换系统，从而......
给出了函数式语言到过程式语言转换的关键技术，即抽象论域到具体数据结构的转换技术。抽象论域的转换是抽象表达式到具体表达式转换......
为促进对智力产品及移动代码保护方法的研究，综述了代码迷惑技术的进步和发展，使用代码迷惑技术可以对程序代码及核心算法进行保护。......
为了提高程序的性能与质量,程序优化是程序设计的重要环节,本文从C语言程序算法、数据结构、程序结构、程序设计风格以及程序设计......
高性能计算应用程序获得的持续性能与机器峰值性能的差距日益扩大，很大程度上制约着高性能计算的发展。程序变换通过对程序进行适应......
分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型......
文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智......
开发程序的局部性是当今并行编译优化研究的重点之一,而程序变换是开发程序时间局部性和空间局部性的重要手段之一.该文提出了一种......
本文讨论了递归程序变换为非递归程序的实现方法，并以ＰＡＳＣＡＬ语言的递归程序为处理对象，对控制转向返回地址标号的方法作了改进，对双重递归函......
目前全自动并行化方法在并行化能力和应用范围上存在较大限制,而交互式并行化方法能弥补全自动并行化系统的不足。基于此,提出一种......
随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对......
本文讨论用Ｍａｔｈｅｍ ａｔｉｃａ 的两大核心工作机制即模式匹配和规则来实现横向程序变换．以两类不同的递归程序变换的抽象模式为例，本文设计了相应的Ｍａｔｈｅｍ ａｔｉｃａ ......
本文讨论一类递归算法 ,利用“递推关系”,“多步递归变换”及“函数嵌入法”等方法可得到它们的多种计算方案 ,对它们的运行效率......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合，有利于最优程序变换的搜索。论文首先介绍并评价了几种典型的多......
语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效......
ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型......
在近40年来，处理器运行速度的增长和存储器访问速度的增长之间存在着巨大的差距，这使得两者之间的速度差距越来越大，导致的“Memory W......
循环分块是一种广泛用于改善数据局部性和开发并行性的程序变换优化技术.主要分为2类:固定分块技术和参数化分块技术,系统地总结了......
为在当今主流程序设计语言(如C++/Java/C#)中实现继续,采用异常处理机制获取程序继续的方法,利用优化的CPS(continuation passing ......
应用静态污点分析检测Android应用的隐私泄露漏洞会产生许多虚警,为此提出一种上下文敏感、路径敏感和域敏感的半自动程序分析方法......
随着智能手机的普及,移动互联网已成为人们生活中必不可少的一部分。Android以其开放性的特点吸引了众多的应用开发者和手机用户,......
在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说......
